A Systematic Approach to Constructing Incremental Topology Control Algorithms Using Graph Transformation

Communication networks form the backbone of our society. Topology control algorithms optimize the topology of such communication networks. Due to the importance of communication networks, a topology control algorithm should guarantee certain required consistency properties (e.g., connectivity of the topology), while achieving desired optimization properties (e.g., a bounded number of neighbors). Real-world topologies are dynamic (e.g., because nodes join, leave, or move within the network), which requires topology control algorithms to operate in an incremental way, i.e., based on the recently introduced modifications of a topology. Visual programming and specification languages are a proven means for specifying the structure as well as consistency and optimization properties of topologies. In this paper, we present a novel methodology, based on a visual graph transformation and graph constraint language, for developing incremental topology control algorithms that are guaranteed to fulfill a set of specified consistency and optimization constraints. More specifically, we model the possible modifications of a topology control algorithm and the environment using graph transformation rules, and we describe consistency and optimization properties using graph constraints. On this basis, we apply and extend a well-known constructive approach to derive refined graph transformation rules that preserve these graph constraints. We apply our methodology to re-engineer an established topology control algorithm, kTC, and evaluate it in a network simulation study to show the practical applicability of our approachComment: This document corresponds to the accepted manuscript of the referenced journal articl

A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation

In the communication systems domain, constructing and maintaining network topologies via topology control (TC) algorithms is an important cross-cutting research area. Network topologies are usually modeled using attributed graphs whose nodes and edges represent the network nodes and their interconnecting links. A key requirement of TC algorithms is to fulfill certain consistency and optimization properties to ensure a high quality of service. Still, few attempts have been made to constructively integrate these properties into the development process of TC algorithms. Furthermore, even though many TC algorithms share substantial parts (such as structural patterns or tie-breaking strategies), few works constructively leverage these commonalities and differences of TC algorithms systematically. In previous work, we addressed the constructive integration of consistency properties into the development process. We outlined a constructive, model-driven methodology for designing individual TC algorithms. Valid and high-quality topologies are characterized using declarative graph constraints; TC algorithms are specified using programmed graph transformation. We applied a well-known static analysis technique to refine a given TC algorithm in a way that the resulting algorithm preserves the specified graph constraints. In this paper, we extend our constructive methodology by generalizing it to support the specification of families of TC algorithms. To show the feasibility of our approach, we reneging six existing TC algorithms and develop e-kTC, a novel energy-efficient variant of the TC algorithm kTC. Finally, we evaluate a subset of the specified TC algorithms using a new tool integration of the graph transformation tool eMoflon and the Simonstrator network simulation framework.Comment: Corresponds to the accepted manuscrip

A cross-national study on gender differences in suicide intent

BACKGROUND: Suicide accounts for over 58,000 deaths in Europe per annum, where suicide attempts are estimated to be 20 times higher. Males have been found to have a disproportionately lower rate of suicide attempts and an excessively higher rate of suicides compared to females. The gender difference in suicide intent is postulated to contribute towards this gender imbalance. The aim of this study is to explore gender differences in suicide intent in a cross-national study of suicide attempts. The secondary aims are to investigate the gender differences in suicide attempt across age and country. METHODS: Data on suicide attempts (acquired from the EU-funded OSPI-Europe project) was obtained from eight regions in Germany, Hungary, Ireland and Portugal. Suicide intent data was categorized into 'Non-habitual Deliberate Self-Harm' (DSH), 'Parasuicidal Pause' (SP), 'Parasuicidal Gesture' (SG), and 'Serious Suicide Attempt' (SSA), applying the Feuerlein scale. Gender differences in intent were explored for significance by using X2)-tests, odds ratios, and regression analyses. RESULTS: Suicide intent data from 5212 participants was included in the analysis. A significant association between suicide intent and gender was found, where 'Serious Suicide Attempts' (SSA) were rated significantly more frequently in males than females (p < .001). There was a statistically significant gender difference in intent and age groups (p < .001) and between countries (p < .001). Furthermore, within the most utilised method, intentional drug overdose, 'Serious Suicide Attempt' (SSA) was rated significantly more often for males than females (p < .005). CONCLUSIONS: Considering the differences in suicidal intent between males and females highlighted by the current study, gender targeted prevention and intervention strategies would be recommended

A Systematic Approach and Guidelines to Developing a Triple Graph Grammar

Engineering processes are often inherently concurrent, involving multiple stakeholders working in parallel, each with their own tools and artefacts. Ensuring and restoring the consistency of such artefacts is a crucial task, which can be appropriately addressed with a bidirectional transformation (bx ) language. Although there exist numerous bx languages, often with corresponding tool support, it is still a substantial challenge to learn how to actually use such bx languages. Triple Graph Grammars (TGGs) are a fairly established bx language for which multiple and actively developed tools exist. Learning how to master TGGs is, however, currently a frustrating undertaking: a typical paper on TGGs dutifully explains the basic "rules of the game" in a few lines, then goes on to present the latest groundbreaking and advanced results. There do exist tutorials and handbooks for TGG tools but these are mainly focussed on how to use a particular tool (screenshots, tool workflow), often presenting exemplary TGGs but certainly not how to derive them systematically. Based on 20 years of experience working with and, more importantly, explaining how to work with TGGs, we present in this paper a systematic approach and guidelines to developing a TGG from a clear, but unformalised understanding of a bx

Quality assurance process within the RAdiosurgery for VENtricular TAchycardia (RAVENTA) trial for the fusion of electroanatomical mapping and radiotherapy planning imaging data in cardiac radioablation

A novel quality assurance process for electroanatomical mapping (EAM)-to-radiotherapy planning imaging (RTPI) target transport was assessed within the multi-center multi-platform framework of the RAdiosurgery for VENtricular TAchycardia (RAVENTA) trial. A stand-alone software (CARDIO-RT) was developed to enable platform independent registration of EAM and RTPI of the left ventricle (LV), based on pre-generated radiotherapy contours (RTC). LV-RTC were automatically segmented into the American-Heart-Association 17-segment-model and a manual 3D-3D method based on EAM 3D-geometry data and a semi-automated 2D-3D method based on EAM screenshot projections were developed. The quality of substrate transfer was evaluated in five clinical cases and the structural analyses showed substantial differences between manual target transfer and target transport using CARDIO-RT

Search for Doubly-Charged Higgs Boson Production at HERA

A search for the single production of doubly-charged Higgs bosons H^{\pm \pm} in ep collisions is presented. The signal is searched for via the Higgs decays into a high mass pair of same charge leptons, one of them being an electron. The analysis uses up to 118 pb^{-1} of ep data collected by the H1 experiment at HERA. No evidence for doubly-charged Higgs production is observed and mass dependent upper limits are derived on the Yukawa couplings h_{el} of the Higgs boson to an electron-lepton pair. Assuming that the doubly-charged Higgs only decays into an electron and a muon via a coupling of electromagnetic strength h_{e \mu} = \sqrt{4 \pi \alpha_{em}} = 0.3, a lower limit of 141 GeV on the H^{\pm\pm} mass is obtained at the 95% confidence level. For a doubly-charged Higgs decaying only into an electron and a tau and a coupling h_{e\tau} = 0.3, masses below 112 GeV are ruled out.Comment: 15 pages, 3 figures, 1 tabl

Response-adapted omission of radiotherapy and comparison of consolidation chemotherapy in intermediate- and advanced-stage children and adolescents with classic Hodgkin lymphoma: a titration study with an embedded non-inferiority randomised controlled trial

BACKGROUND: Children and adolescents with intermediate-stage and advanced-stage classical Hodgkin lymphoma achieve an event-free survival at 5 years of about 90% after treatment with vincristine, etoposide, prednisone, and doxorubicin (OEPA) followed by cyclophosphamide, vincristine, prednisone, and procarbazine (COPP) and radiotherapy, but long-term treatment effects affect survival and quality of life. We aimed to investigate whether radiotherapy can be omitted in patients with morphological and metabolic adequate response to OEPA and whether modified consolidation chemotherapy reduces gonadotoxicity. METHODS: Our study was designed as a titration study with an open-label, embedded, multinational, non-inferiority, randomised controlled trial, and was carried out at 186 hospital sites across 16 European countries. Children and adolescents with newly diagnosed intermediate-stage (treatment group 2) and advanced-stage (treatment group 3) classical Hodgkin lymphoma who were younger than 18 years and stratified according to risk using Ann Arbor disease stages IIAE, IIB, IIBE, IIIA, IIIAE, IIIB, IIIBE, and all stages IV (A, B, AE, and BE) were included in the study. Patients with early disease (treatment group 1) were excluded from this analysis. All patients were treated with two cycles of OEPA (1·5 mg/m(2) vincristine taken intravenously capped at 2 mg, on days 1, 8, and 15; 125 mg/m(2) etoposide taken intravenously on days 1–5; 60 mg/m(2) prednisone taken orally on days 1–15; and 40 mg/m(2) doxorubicin taken intravenously on days 1 and 15). Patients were randomly assigned to two (treatment group 2) or four (treatment group 3) cycles of COPP (500 mg/m(2) cyclophosphamide taken intravenously on days 1 and 8; 1·5 mg/m(2) vincristine taken intravenously capped at 2 mg, on days 1 and 8; 40 mg/m(2) prednisone taken orally on days 1 to 15; and 100 mg/m(2) procarbazine taken orally on days 1 to 15) or COPDAC, which was identical to COPP except that 250 mg/m(2) dacarbazine administered intravenously on days 1 to 3 replaced procarbazine. The method of randomisation (1:1) was minimisation with stochastic component and was centrally stratified by treatment group, country, trial sites, and sex. The primary endpoint was event-free survival, defined as time from treatment start until the first of the following events: death from any cause, progression or relapse of classical Hodgkin lymphoma, or occurrence of secondary malignancy. The primary objectives were maintaining 90% event-free survival at 5 years in patients with adequate response to OEPA treated without radiotherapy and to exclude a decrease of 8% in event-free survival at 5 years in the embedded COPDAC versus COPP randomisation to show non-inferiority of COPDAC. Efficacy analyses are reported per protocol and safety in the intention-to-treat population. The trial is registered with ClinicalTrials.gov (trial number NCT00433459) and EUDRACT (trial number 2006-000995-33), and is closed to recruitment. FINDINGS: Between Jan 31, 2007, and Jan 30, 2013, 2102 patients were recruited. 737 (35%) of the 2102 recruited patients were in treatment group 1 (early-stage disease) and were not included in our analysis. 1365 (65%) of the 2102 patients were in treatment group 2 (intermediate-stage disease; n=455) and treatment group 3 (advanced-stage disease; n=910). Of these 1365, 1287 (94%) patients (435 [34%] of 1287 in treatment group 2 and 852 [66%] of 1287 in treatment group 3) were included in the titration trial per-protocol analysis. 937 (69%) of 1365 patients were randomly assigned to COPP (n=471) or COPDAC (n=466) in the embedded trial. Median follow-up was 66·5 months (IQR 62·7–71·7). Of 1287 patients in the per-protocol group, 514 (40%) had an adequate response to treatment and were not treated with radiotherapy (215 [49%] of 435 in treatment group 2 and 299 [35%] of 852 in treatment group 3). 773 (60%) of 1287 patients with inadequate response were scheduled for radiotherapy (220 [51%] of 435 in the treatment group 2 and 553 [65%] of 852 in treatment group 3. In patients who responded adequately, event-free survival rates at 5 years were 90·1% (95% CI 87·5–92·7). event-free survival rates at 5 years in 892 patients who were randomly assigned to treatment and analysed per protocol were 89·9% (95% CI 87·1–92·8) for COPP (n=444) versus 86·1% (82·9–89·4) for COPDAC (n=448). The COPDAC minus COPP difference in event-free survival at 5 years was −3·7% (−8·0 to 0·6). The most common grade 3–4 adverse events (intention-to-treat population) were decreased haemoglobin (205 [15%] of 1365 patients during OEPA vs 37 [7%] of 528 treated with COPP vs 20 [2%] of 819 treated with COPDAC), decreased white blood cells (815 [60%] vs 231 [44%] vs 84 [10%]), and decreased neutrophils (1160 [85%] vs 223 [42%] vs 174 [21%]). One patient in treatment group 2 died of sepsis after the first cycle of OEPA; no other treatment-related deaths occurred. INTERPRETATION: Our results show that radiotherapy can be omitted in patients who adequately respond to treatment, when consolidated with COPP or COPDAC. COPDAC might be less effective, but is substantially less gonadotoxic than COPP. A high proportion of patients could therefore be spared radiotherapy, eventually reducing the late effects of treatment. With more refined criteria for response assessment, the number of patients who receive radiotherapy will be further decreased. FUNDING: Deutsche Krebshilfe, Elternverein für Krebs-und leukämiekranke Kinder Gießen, Kinderkrebsstiftung Mainz, Tour der Hoffnung, Menschen für Kinder, Programme Hospitalier de Recherche Clinique, and Cancer Research UK

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO